Supervisor Synthesis: Turning Automata into Control Software - FOAM Seminar